($a$)$r$($c$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$b$:$\mid$$r$$\mid$. ($c$ = ($a$ $\ast$ $b$))